Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Computing
• Functional languages
• Functional programming
• Object-oriented programming languages
• Scripting languages
• Type theory
• Haskell
• Cabal
• Monad
• Type class

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Source URL: www.eecs.northwestern.edu

• Software engineering
• Theoretical computer science
• Computing
• Logic in computer science
• Formal methods
• Programming language semantics
• Control flow
• Eval
• Functional languages
• Operational semantics
• Robert Bruce Findler
• Racket

Shake ‘n’ Bake Neil Mitchell https://github.com/ndmitchell/{shake,bake} Build ‘n’ Integrate In Haskell

Source URL: ndmitchell.com

• Functional programming
• Monad
• Functional languages
• Make
• Haskell
• Include directive

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Source URL: stratosphere.eu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Object-oriented programming languages
• Monad
• Set-builder notation
• Scala
• Haskell

Under consideration for publication in J. Functional Programming 1 Flexible Dynamic Information Flow Control in the Presence of Exceptions

Source URL: cseweb.ucsd.edu

Codepourri: Creating Visual Coding Tutorials Using A Volunteer Crowd Of Learners Mitchell Gordon and Philip J. Guo Department of Computer Science University of Rochester Rochester, NY 14627

Source URL: www.pgbovine.net

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Scripting languages
• Functional languages
• Reference
• Annotation
• Writing
• Portable Document Format
• Tutorial
• Python

Array Operators Using Multiple Dispatch Array Operators Using Multiple Dispatch A design methodology for array implementations in dynamic languages Jeff Bezanson

Source URL: karpinski.org

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Array programming languages
• Data types
• Functional languages
• Method
• Array data type
• Multiple dispatch
• Scala
• Type system

Krzysztof Woś Low-level code optimisations in the Glasgow Haskell Compiler .

Source URL: research.microsoft.com

• Compiler construction
• Functional programming
• Compilers
• Programming language implementation
• Functional languages
• Glasgow Haskell Compiler
• Haskell
• C--
• LLVM
• Simon Marlow
• Simon Peyton Jones
• Intermediate representation

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Functional languages
• Curry
• Fold
• Monad
• Constraint